contradiction equation definition